import Lean.LabelAttribute

register_label_attr dummy_label_attr
